Finding witnesses by peeling
نویسندگان
چکیده
منابع مشابه
Finding Witnesses for Stability in the Hospitals/Residents Problem
An instance I of the Hospitals/Residents problem (HR) comprises a set of residents (graduating medical students) and a set of hospitals, where each hospital has a given capacity. The residents have preferences for the hospitals, as do hospitals for residents. A solution of I is a stable matching, which is an assignment of residents to hospitals that respects the capacity constraints and prefere...
متن کاملAlternate and Learn: Finding Witnesses without Looking All over
Most symbolic bug detection techniques perform search over the program control flow graph based on either forward symbolic execution or backward weakest preconditions computation. The complexity of determining interprocedural all-path feasibility makes it difficult for such analysis to judge upfront whether the behavior of a particular caller or callee procedure is relevant to a given property ...
متن کاملGuarding Art Galleries by Guarding Witnesses
Let P be a simple polygon. We define a witness set W to be a set of points such that if any (prospective) guard set G guards W , then it is guaranteed that G guards P . We show that not all polygons admit a finite witness set. If a finite minimal witness set exists, then it cannot contain any witness in the interior of P ; all witnesses must lie on the boundary of P , and there can be at most o...
متن کاملFinding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words
In the automata-theoretic approach to formal verification, the satisfiability and the model-checking problems for linear temporal logics are reduced to the nonemptiness problem of automata on infinite words. Modifying the nonemptiness algorithm to return a shortest witness to the nonemptiness (that is, a word of the form uvω that is accepted by the automaton and for which |uv| is minimal) has a...
متن کاملConsent in Jehovah's Witnesses.
Editor—Sydor and colleagues studied trainee behaviour in a crisis situation, and trainee ability to challenge a decision by a consultant anaesthetist to administer blood to a patient who is a Jehovah’s Witness. This was described as unethical, although perhaps a better term would be ‘in breach of the law’. I would like to put it to the authors that unless the notes were shown to contain the pro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Algorithms
سال: 2011
ISSN: 1549-6325,1549-6333
DOI: 10.1145/1921659.1921670